Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
331	A Lambda Calculus of Incomplete Objects Viviana Bono∗ ∗ ∗∗ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:29:22 Type theory Data types Object-oriented programming Models of computation Deduction Type system Symbol Subtype polymorphism Lambda calculus Software engineering Computing Logic
332	An Object-Centred Approach to Encourage Online Participation in the Context of Behaviour Change BERND PLODERER1, WALLY SMITH1, JON PEARCE1 & RON BORLAND2 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Community building Human development Educational psychology Internet culture Online community Smoking cessation Social presence theory Social networking service Activity theory Virtual reality Technology Social information processing
333	After the meat and potatoes, before the pickles: superaccessors (Part 1) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 16th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-09-20 05:42:22 Object-oriented programming Java programming language Method Polymorphism Subtype polymorphism Type theory Method overriding Mutator method Clone Computing Software engineering Computer programming
334	Language-Based Isolation of Untrusted JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Ajax HTML Cross-platform software JavaScript ECMAScript Prototype JavaScript Framework Eval Google Chrome Document Object Model Computing Software Scripting languages
335	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
336	An Introduction to DemeterF (Java) Bryan Chadwick September 8, 2009 Abstract This document is meant to be an introduction to Object Oriented Programming (OOP) and Functional Adaptive Programming (AP-F) using DemeterF. De Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-09-08 18:32:14 Subroutines Method C++ Type theory Tree traversal Object-oriented programming C++ classes Binary tree Function object Software engineering Computing Computer programming
337	Glendale Project: Benchmarks Hesam Samimi,Yoshiki Ohshima, Todd Millstein, Alan Borning VPRI Research Note RN Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:35 Object-oriented programming Relational model Query languages Mathematical notation Tuple Type theory Finitary relation Relation Object Computing Notation Mathematics
338	Polymorphism in the Spotlight: Studying Its Prevalence in Java and Smalltalk Nevena Milojkovi´c, Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz Software Composition Group University of Bern, Switzerland {nevena Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2015-03-30 05:21:26 Object-oriented programming Type theory Data types Polymorphism Method Smalltalk Duck typing Parametric polymorphism Template method pattern Software engineering Computing Computer programming
339	INJECTIVES Contents 1. Introduction 2. Baer’s argument for modules 3. G-modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:43 Category theory Injective module Injective object Sheaf Grothendieck topology Injective hull Adjoint functors Module Gluing axiom Abstract algebra Homological algebra Algebra
340	Microsoft Word - hw2_dw _4_.docx Add to Reading List Source URL: sunset.usc.edu Language: English - Date: 2010-03-02 13:52:45 Object-oriented programming Computing Polymorphism Variables Subtype polymorphism Software engineering Data types Type theory

UPDATE